" Dave Barker-Plummer" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Самая большая электронная библиотека рунета. Поиск книг и журналов

#1

Language, proof and logic

Jon Barwise, John Etchemendy, Gerard Allwein, Dave Barker-Plummer, Albert Liu

Категория: Mathematics, Algebra, Mathematical logic

2.42 Mb

#2

Language, Proof and Logic

Jon Barwise, John Etchemendy, Gerard Allwein, Dave Barker-Plummer, Albert Liu

Категория: Математика, Алгебра, Математическая логика

3.72 Mb

#3

Language, Proof, and Logic

Jon Barwise, John Etchemendy, Gerard Allwein, Dave Barker-Plummer, Albert Liu

3.82 Mb

#4

Diagrammatic Representation and Inference: 4th International Conference, Diagrams 2006, Stanford, CA, USA, 2006, Proceedings

Dave Barker-Plummer, Richard Cox, Nik Swoboda

8.69 Mb